Software verification

Results: 1531



#Item
31

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Add to Reading List

Source URL: faculty.nps.edu

Language: English - Date: 2008-05-06 17:12:31
    32

    Program verification Generalities about software Verification – Model Checking Laure Gonnord David Monniaux

    Add to Reading List

    Source URL: laure.gonnord.org

    Language: English - Date: 2016-09-18 10:59:58
      33

      Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems,

      Add to Reading List

      Source URL: xavierleroy.org

      Language: English - Date: 2018-08-01 14:49:25
        34

        Energy Consumption Analysis and Verification (Invited Talk) Manuel Hermenegildo∗ ? joint work with P. Lopez∗ ◦ , U. Liqat∗ and M. Klemen∗ ∗ IMDEA Software Institute, Madrid, Spain

        Add to Reading List

        Source URL: refal.botik.ru

        - Date: 2017-03-14 08:43:59
          35

          Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

          Add to Reading List

          Source URL: refal.botik.ru

          - Date: 2017-03-12 03:19:31
            36

            Towards modular verification of consensus protocols Álvaro García Pérez IMDEA Software Institute, Madrid

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2018-01-15 12:22:36
              37

              Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

              Add to Reading List

              Source URL: software.imdea.org

              - Date: 2018-02-20 03:41:12
                38

                Automated Software Analysis and Verification with Separation Logic Josh Berdine Cristiano Calcagno Dino Distefano Samin Ishtiaq Peter O’Hearn John Reynolds Hongseok Yang CAV 2016

                Add to Reading List

                Source URL: www0.cs.ucl.ac.uk

                - Date: 2016-07-25 11:06:40
                  39

                  Moving Fast with Software Verification Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez Faceboo

                  Add to Reading List

                  Source URL: research.fb.com

                  - Date: 2016-11-03 21:22:10
                    40

                    Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

                    Add to Reading List

                    Source URL: research.microsoft.com

                    - Date: 2009-09-21 16:41:38
                      UPDATE